" Gianluigi Zavattaro" скачать бесплатно. Электронная библиотека. Поиск книг LibCats

Самая большая электронная библиотека рунета. Поиск книг и журналов

#1

Formal Methods for Web Services: 9th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2009, Bertinoro Programming and Software Engineering

Marco Bernardo, Luca Padovani, Gianluigi Zavattaro

Категория: Компьютеры

5.97 Mb

#2

CONCUR 2009 - Concurrency Theory: 20th International Conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009, Proceedings (Lecture Notes in ... Computer Science and General Issues)

Mario Bravetti, Gianluigi Zavattaro

7.24 Mb

#3

Formal methods for web services advanced lectures, 9, 2009, Bertinoro

Marco Bernardo, Luca Padovani, Gianluigi Zavattaro

8.71 Mb

#4

Coordination Models and Languages: 10th International Conference, COORDINATION 2008, Oslo, Norway, June 4-6, 2008, Proceedings

Doug Lea, Gianluigi Zavattaro

4.69 Mb

#5

Formal Methods for Computational Systems Biology: 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems,

Marco Bernardo, Pierpaolo Degano, Gianluigi Zavattaro

11.98 Mb

#6

Web Services and Formal Methods: Third International Workshop, WS-FM 2006, Vienna, Austria, September 8-9, 2006, Proceedings

Mario Bravetti, Manuel Núñez, Gianluigi Zavattaro

5.97 Mb